graph "graph.dot" {

   size="6.0,7.0";

node [shape=circle,fixedsize=true,style=filled,
      color="khaki",fontcolor="black",fontsize=18];

   1  [label="1", pos="0.908548,0.793907"];
   2  [label="2", pos="0.901529,0.196933"];
   3  [label="3", pos="0.985644,0.366712"];
   4  [label="4", pos="0.710684,0.955539"];
   5  [label="5", pos="0.127118,0.829765"];
   6  [label="6", pos="0.119453,0.179711"];
   7  [label="7", pos="0.266079,0.059947"];
   8  [label="8", pos="0.013575,0.600714"];
   9  [label="9", pos="0.526474,1.000000"];
  10  [label="10", pos="0.988769,0.622194"];
  11  [label="11", pos="0.699728,0.040075"];
  12  [label="12", pos="0.514638,0.000000"];
  13  [label="13", pos="0.011231,0.411389"];
  14  [label="14", pos="0.276702,0.945976"];

edge [color="blue"];

   1  --   2;
   1  --  14;
   1  --  10;
   2  --   3;
   2  --   7;
   3  --   4;
   3  --  12;
   4  --   5;
   4  --   9;
   5  --   6;
   5  --  14;
   6  --   7;
   6  --  11;
   7  --   8;
   8  --   9;
   8  --  13;
   9  --  10;
  10  --  11;
  11  --  12;
  12  --  13;
  13  --  14;

}
